Exact Computation of Influence Spread by Binary Decision Diagram Takanori Maehara1) , Hirofumi Suzuki2) , Masakazu Ishihata2) 1) Riken Center for Advanced Intelligence Project 2) Hokkaido University

Source URL: www.prefield.com

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c

Source URL: www.mpi-sws.org

• Graph theory
• Mathematics
• Model checking
• Theoretical computer science
• Graph
• Binary decision diagram
• Tree
• Circuit
• Symbolic trajectory evaluation
• Signal-flow graph
• Topology

A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook

Source URL: bsd7.cs.sunysb.edu

• Mathematics
• Logic
• Mathematical logic
• Boolean algebra
• Formal languages
• Model theory
• Binary decision diagram
• Model checking
• IP
• Boolean satisfiability problem
• Constructible universe
• Well-formed formula

Parallel Disk-Based Computation for Large, Monolithic Binary Decision Diagrams Daniel Kunkle∗ Vlad Slavici

Source URL: www.ccs.neu.edu

• Computing
• Diagrams
• Boolean algebra
• Mathematics
• Computer programming
• Binary decision diagram
• Model checking
• External sorting
• Computer cluster
• Depth-first search

Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots

Source URL: suif.stanford.edu

• Computing
• Software engineering
• Data management
• Database management systems
• Query languages
• Datalog
• Binary decision diagram
• Monica S. Lam
• Deductive database
• Relational algebra
• Logic programming
• Database

Verification and Change-Impact Analysis of Access-Control Policies∗ Kathi Fisler Shriram Krishnamurthi

Source URL: web.cs.wpi.edu

• Computer security
• Security
• Access control
• Computer access control
• XACML
• Binary decision diagram
• PERMIS
• Information flow
• Role-based access control
• Policy analysis
• Security-Enhanced Linux
• Model checking

Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck

Source URL: www.haz.ca

• Theoretical computer science
• Mathematics
• Formal methods
• Constraint programming
• Boolean algebra
• Automated theorem proving
• DPLL algorithm
• Binary decision diagram
• Exponential time hypothesis
• Computational complexity theory
• Bayesian network
• Distribution

CE318: High-level Games Development Lecture 9: Game AI: Decision Making Diego Perez Office 3A.527

Source URL: orb.essex.ac.uk

• Decision theory
• Decision trees
• Data types
• Decision tree
• Tree
• Binary trees
• K-ary tree
• Artificial intelligence
• Influence diagram
• R-tree
• Decision tree learning
• Binary search tree

1 Efficient Distributed Algorithms For Structured Optimization Problems João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel

Source URL: www.ee.ucl.ac.uk

• A* search algorithm
• Combinatorial optimization
• Game artificial intelligence
• Constraint programming
• Decomposition method
• Binary decision diagram

2009 IEEE IEEE International International Symposium

Source URL: ect.bell-labs.com

• Computer network security
• Boolean algebra
• Binary decision diagram
• Iptables
• Firewall
• Stateful firewall
• DMZ
• Boolean satisfiability problem
• True quantified Boolean formula
• Netfilter
• Computer network
• Distributed firewall